Beweis Formel Binomialkoeffizient